Türkiye’de bal üretiminin zaman serileri ile modellenmesi

CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması

Özetçe. Bir sistemi oluşturan dağıtık elektronik kontrol birimleri arasındaki iletişim gerekleri, birimler arası veriyolunun seçimini ve tasarımını belirlemektedir. Controller Area Network (CAN) veriyolu, sağladığı bant genişliği, hata toleransı ve düşük maliyeti nedeniyle araç içi haberleşmede, akıllı evlerde ve endüstriyel kontrol sistemlerinde sıklıkla kullanılan bir protokoldür. Ancak olay ...

Parçacık süzgeci ile biyomedikal görüntü zaman serisi çakıştırma Biomedical image time series registration with particle filtering

We propose a family of methods for biomedical image time series registration based on Particle filtering. The first method applies an intensity-based information-theoretic approach to calculate importance weights. An effective second group of methods use landmark-based approaches for the same purpose by automatically detecting intensity maxima or SIFT interest points from image time series. A b...

Zaman Tetikli Almaç Planlayıcı Yazılım Bileşeni Tasarımı

Ardışıl Devrelerin Yazılım ile Model Tabanlı Sınanması

Özet. Bu çalışmanın amacı, ardışıl devrelerin (sequential circuits) ölçeklenebilir düzenli ifadeler (regular expression) ile modellenmesi ve bu ölçeklenebilir model aracılığı ile sınanmasıdır (testing). Sınama işlemi için model tabanlı sınama dizileri (test sequence) kullanılacaktır. Devrenin modellenmesi için hedeflenen hatalar aracılığı ile durum uzayı (state space) sınırlandırılmaktadır. Böy...

X-ray Spectroscopy of Bal and Mini-bal Qsos

BAL QSOs are notoriously faint X-ray sources, presumably due to extreme intrinsic absorption. However, several objects have begun to appear through the obscuration with recent X-ray observations by Chandra and ASCA. Where enough counts are present for X-ray spectroscopy, the signatures of absorption are clear. The evidence is also mounting that the absorbers are more complicated than previous s...